141. An introduction to analysis
پدیدآورنده : Zaring, Wilson M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
142. An introduction to fussy logic applications
پدیدآورنده : / by John Harris
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
رده :
TJ217
.
5
.
H39
2010
143. An introduction to fuzzy logic applications
پدیدآورنده : / by John Harris
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
رده :
TJ217
.
5
H39
2000
144. An introduction to many-valued logics
پدیدآورنده : Robert John Ackermann
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
A23
145. An introduction to mathematical logic
پدیدآورنده : Richard E. Hodel,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic, Symbolic and mathematical
رده :
QA
.
H547
9
1995
146. An introduction to mathematical logic
پدیدآورنده : [by] Gerson B. Robison
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
R72
147. An introduction to mathematical logic
پدیدآورنده : Robison, Gerson B
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R72
148. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
149. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
150. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده : Andrews, P. B.)Peter Bruce(,7391-,Peter B. Andrews
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
151. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
152. An introduction to mathematical reasoning
پدیدآورنده : Iglewicz, Boris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
رده :
QA
9
.
I36I5
153. An introduction to mathematical thought
پدیدآورنده : Stabler, Edward Russell
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
S67
1953
154. An introduction to modern mathematics
پدیدآورنده : Monjallon, Albert
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups
رده :
QA
248
.
M513
155. An introduction to practical formal methods using temporal logic
پدیدآورنده : / Michael Fisher
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Temporal automata,Logic, Symbolic and mathematical
رده :
QA267
.
5
.
T45
,
F57
2011
156. An introduction to stymbolic logic
پدیدآورنده : Langer, susanne katherina)Knauth(5981-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، logic, symbolic and Mathematical
رده :
BC
135
.
L35
1967
157. An introduction to substructural logics
پدیدآورنده : Restall, Greg
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
R47
2000
158. An introduction to symbolic logic
پدیدآورنده : Langer, Susanne Katherina Knauth
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
L35
159. An introduction to symbolic logic
پدیدآورنده : / by Susanne K. Langer
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
BC135
.
L35
1967
160. An introduction to symbolic logic
پدیدآورنده : Langer, Susanne Katherina )Knauth(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
L35
1967